The language syntax structures are listed as follows. The complete grammar rules can be found in Section 3.4.1.3.

3.1.1.1 Global Definitions (this part is same as CSP module)

3.4.1.1 Process Definitions (this part combines PCSP and RTS module)

3.4.1.2 Assertions (this part combines PCSP and RTS module)